[IA64] Build warning fix

Signed-off-by: Tristan Gingold <tgingold@free.fr>

diff --git a/xen/include/asm-ia64/vmx_vcpu.h b/xen/include/asm-ia64/vmx_vcpu.h
index 0054ea7d339adac9314e5028944e10be05864b6a..46e96b4d915d10648e2458ebb410911687192d2e 100644 (file)
--- a/xen/include/asm-ia64/vmx_vcpu.h
+++ b/xen/include/asm-ia64/vmx_vcpu.h
@@ -54,6 +54,7 @@ extern u64 cr_igfld_mask(int index, u64 value);
 extern int check_indirect_reg_rsv_fields(int type, int index, u64 value);
 extern u64 set_isr_ei_ni(VCPU * vcpu);
 extern u64 set_isr_for_na_inst(VCPU * vcpu, int op);
+extern void set_illegal_op_isr (VCPU *vcpu);
 
 /* next all for VTI domain APIs definition */
 extern void vmx_vcpu_set_psr(VCPU * vcpu, unsigned long value);